Section: New Software and Platforms

SPOK

SPOK: Simple Programming Kit pour Smart Homes

Keywords: End User Development - Smart Home

• Contact: James Crowley, Alexandre Demeurre

SPOK is an End-User Development Environment that permits people to monitor, control, and configure smart home services and devices. SPOK provides the end-user with the following services: (1) A syntax-oriented program editor that enforces the construction of syntactically-correct programs (see sidebar on next page). (2) A program interpreter and a clock simulator to test program execution in “simulated time”. (3) Debugging aids to support the detection and correction of programming errors or system malfunctions along with a Trace Manager. (4) A dashboard to remotely control devices and programs in a centralized and uniform manner.

Compared to the state-of-the art, the key features of SPOK are thee-fold: Expressive power of the SPOK language along with a pseudo-natural concrete syntax, dynamic adaptation to the arrival/departure of devices and services, and debugging aids.

SPOK was developed as part of the EU CATRENE APPSGATE project (CA 110) and is supported by the EquipEx AmiQual4Home, ANR-11-EQPX-00.